Acoustical Fire-Damp Detecter

Improving Runtime Overheads for detectEr

Runtime Verification (RV) [11] is a lightweight verification technique mitigating the scalability issues associated with exhaustive verification techniques such as model checking. Low overheads are an important requirement for the viability of any RV framework, where the additional computation introduced by the monitors should ideally be kept to a minimum. detectEr[3, 7] is an RV tool for analy...

Mould, damp and the lungs

DAMP signaling in fungal infections and diseases

Fungal infections and diseases predominantly affect patients with deregulated immunity. Compelling experimental and clinical evidence indicate that severe fungal diseases belong to the spectrum of fungus-related inflammatory diseases. Some degree of inflammation is required for protection during the transitional response occurring temporally between the rapid innate and slower adaptive response...

Occupational rhinitis in damp and moldy workplaces.

BACKGROUND Numerous studies confirm the association between exposure to indoor air dampness and molds and different health outcomes. Of these, upper respiratory tract problems are the most commonly reported work-related symptoms in damp indoor environments. The aim of this study was to describe a clinically investigated patient series with occupational rhinitis induced by molds. METHODS Nasal...

Multi-spectral acoustical imaging

Visualization of object through acoustic waves is generally called as acoustical imaging. This concept contain noise source localization, ultrasonic non-destructive testing, medical ultrasound, underwater sonars, etc. In these conventional imaging techniques, frequency information has not yet utilized effectively, though shape, material and even structure behind the surface reflect on the frequ...